BIT manuscript No. (will be inserted by the editor) Computing predecessor and successor in rounding to nearest Siegfried M. Rump · Paul Zimmermann · Sylvie Boldo · Guillaume Melquiond

Source URL: www.lri.fr

• Finite model theory
• Mathematics
• Category theory
• Universal property
• FO
• Rounding
• Abstraction

Title: The infinite primes in chromatic homotopy theory Abstract: The behavior of the category of E_n-local spectra simplifies in various ways as p tends to infinity. For a collection of categories indexed by the prime n

Source URL: www.uni-regensburg.de

Category theory in Univalent Foundations Benedikt Ahrens1 , Krzysztof Kapulkin2 , Michael Shulman1 1 Institute for Advanced Study, Princeton 2 University of Pittsburgh, Pittsburgh

Source URL: benedikt-ahrens.de

Homa Maddah Women Household Heads in Iran: A Case Study of Social Construction of a Category and a Concept of Social Policy ZEF, Dept. of Political and Cultural Change, University of Bonn

Source URL: www.leibniz-zmt.de

• Linguistics
• Academia
• Sociolinguistics
• Postmodern theory
• Discourse analysis
• Postmodernism
• Gender
• Homa
• Empowerment

AAECC manuscript No. (will be inserted by the editor) Gr¨ obner Basis Cryptosystems Peter Ackermann and Martin Kreuzer

Source URL: www.symbcomp.fim.uni-passau.de

• Algebra
• Abstract algebra
• Mathematics
• Semigroup theory
• Category theory
• Monoid
• Finitely generated module
• Presentation of a monoid
• Computability theory
• Substitution
• Orbifold

Category Theory for Program Construction by Calculation Lambert Meertens CWI, Amsterdam and Department of Computing Science, Utrecht University

Source URL: www.kestrel.edu

Category theory in the Univalent Foundations Benedikt Ahrens joint work with Krzysztof Kapulkin and Michael Shulman Séminaire LDP, I2M, Marseille

Source URL: benedikt-ahrens.de

Submission for IFLFlipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ

Source URL: gbaz.github.io

• Software engineering
• Computer programming
• Category theory
• Algebra
• Functional programming
• Higher-order functions
• Programming language comparisons
• Adjoint functors
• Monad
• Functor
• Fold
• Map

Haskell eXchangeProgramming from Universal Properties Gershom Bazerman,


Source URL: gbaz.github.io

• Category theory
• Initial and terminal objects
• Nothing
• Limit
• Product
• Coproduct
• Diagram
• Cone
• Universal property
• Void type
• Property

Formalizing category theory in type theory Benedikt Ahrens Semantics of proofs and certified mathematics Institut Henri Poincaré

Source URL: benedikt-ahrens.de